inner product space linear algebra